perm filename CMR8.360[360,GF]1 blob
sn#803130 filedate 1986-01-12 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_LG#_
εT G#aP
β@∃8↓U`58↓U@U0αU ⊂λαU ⊂⊂α∃ ⊂⊂α∃⊂ α∃⊂ α∀` αT`⊂0α∀`⊂0α∀@⊂@α∀@⊂@α∀ @αT!uλB@ECECECDxC@DxC@Dp↓β@Thαβ TP∧B↓D("⊂C⊃X
ε@↓⊂'↓↓⊂_'↓↓ _'↓↓ '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0_'↓↓ '↓↓⊂ 'βiaλ'↓↓0_'↓↓@_'↓↓@ '↓↓P '↓↓P '↓↓P '↓↓P '↓↓P '↓↓@ '↓↓@ '↓↓0 '↓↓⊂ %∧hT !FCAP
α`p8T@@0↓@`%↓C⊂λ↓S`0pα∪@1↓S 1⊂↓∪A⊂↓∪1 R`A R`1(R@DPα∩@DPα∩@DPα∩@DX↓E ∀Xα¬∀`↓E∀`α∧@∀h↓D@∀p↓D∀x↓C@∃↓C∃⊂α↓@5(βQ(D
G#!P∧I` ∧@i` ¬@i` εi` ε@i` εA ` πi` π↓ ` π@i` π@i` πA ` πA ` πA ` πA ` πA ` πA ` πA ` π@i` π@i` π↓ ` πi` πi` ε@i` εi` ¬@i` ∧@i!⊂"QλQH
FC S@@Xα∪@@h↓∪@@pS@@pS@@p↓∪@@xS@@8A`∀pα↓`⊂8S@@8S@@8S@@0↓∪ADpα↓@$pα↓`∀pα↓`∀pα↓`∀pα↓`⊂@S@AS@@xS@@xS@@xS@@p↓∪@@p↓∪@@h↓∪@@Xα∩Bt("⊃BqH
ε@↓0'↓↓ '↓↓@⊂'↓↓Pλ'↓↓Pλ'↓↓P⊂'↓↓`λ'↓↓`λ'↓pλβ)` β@)` β@)` β@)` βI``'↓`⊂'↓pλ'↓pλ'↓pλ'↓pλ'↓ ` '↓ ` '↓ ` '↓ h"Qλq`∂εC XβA@∃⊂↓A` _↓∀0X@ 4x↓C Dp↓C`4h↓D $`↓D@$`↓D`∀Xα∧`∀X↓E∀Pα∩@DPα∩@DPα∩@@`ε∩@Aλα∩`1λα∩`Aα∪1α∪1α∪ 0xα∪@0pα∪`0hα∀0X@ 5⊂↓A` _↓∃ p0Q(D@
G#!Pβ0`'↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '∧i` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A `↓CλT $C↓QP
↓Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∩AD("∩B⊃⊂
ε@P`*↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓ 0_β↓ (αA (αA (α@i0_α@i@λα@iP0"Q 1`∂εC ε↓a∧pαβ Dpαβ $pαβ ∀pαβ∀pαα`∀pαα@∀pαα ∀pαα∀pα↓@$pα↓ $pα↓Dpα`Tpα@⊂⊂α∪@@λADpαA Dpα↓`DpααDpααDpαα Dpαα@Dpαα@Tpαα`DpαβDpαβTpαβdPε↓A$("∪αQ8
ε@h'↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓↓@λ'↓↓@λ'↓↓@λ'↓↓@λ'↓↓0⊂'↓↓0λ'↓↓ ⊂'↓↓⊂_'↓↓ %¬λT &HDAP
↓↓λ∧S@AλαS@AλαS@⊂λ↓C`⊂λα∪@⊂λ↓C`⊂λα∪@⊂⊂↓C ⊂⊂α∪@⊂⊂↓C ⊂⊂α∪@⊂⊂↓C ⊂⊂α∪@⊂_↓B`⊂_α∪@⊂_↓B`⊂_α∪@⊂ ↓B ⊂ α∪@⊂ ↓B ⊂ α∪@⊂ ↓B ⊂ α∪@⊂(↓A`⊂(α∪@⊂(↓A`⊂(α∪@⊂0↓A ⊂0α∪@⊂0↓A ⊂0α∪@⊂0↓A ⊂0α∪@⊂8↓@`⊂8α∪@⊂8↓@`⊂8α∪@⊂8↓@`⊂8α∪@⊂@↓@ ⊂@α∪@⊂@↓@ ⊂@α∪@⊂H↓B DpB 0Hα∪ 0@↓B DP∧A@⊂0ε⊃(Dp
G#!Pα↓ H'↓!@_'↓A@λ' ⊂ ε)`λ↓↓↓0λ' (¬)`λ↓A↓ λ' @ ∧@)`λαA↓λ' P ∧)`λβ↓pλ' p β)`λβA`λ'! α@)`λ∧A@λ'!⊂(↓@)`λ¬↓0λ'!0 ↓)`λ¬A ⊂λ'!@ @)`λεA)`λπ↓ `λπ↓ `λπ@i`λλIP_π@I Hε@(T 'GβaP
αA¬⊂↓A@5↓B@4x↓C4p↓C@4h↓D4`↓D@4Xα∧@DXα∧@DX↓E4Pα¬DPα¬DPα¬DPα¬DPα¬DPα¬DPα¬DX↓E4Xα∧@DXα∧@D`α∧Dh↓D4p↓C@4x↓C5↓B@5⊂↓A@5 ∧⊃(EεC!P∧I` ∧@i` ¬↓ ` ¬A ` εi` ε↓ ` ε↓ ` ε↓ ` ε↓ ` εi` ¬A ` ¬↓ ` ∧@i`p'↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` %βλT (Gβb⊂
αA¬⊂↓A@5↓B@4x↓C4p↓C@4h↓D4`α∧DXα∧@DXα∧@DX↓E4Pα¬DPα¬DPα¬DPα¬DPα¬DPα¬DPα¬DX↓E4Xα∧@DXα∧@D`↓D@4h↓A@@0↓S@0 ↓`⊂ ↓S`0_A ⊂⊂↓T0⊂A ⊂λ↓T@@(↓U↓⊂@W 8W 8W 0↓↔0 ↓W!¬h∧↔@exα⊃(E⊂∞πC!P∧ ` βA ` ∧A ` ¬↓ ` ¬@i` ¬A ` ¬A ` ¬A ` ¬A ` ¬@i` ¬↓ ` ∧A ` βA ``'↓p_'↓↓ '↓↓⊂_'↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ β)` ¬``λ'↓↓0_α) `∧↓HT )DbQP
↓ p S 00↓ $`↓α@4X↓B`$X↓β$P↓C ∀P↓C ∀P↓C ∀Pα∩@TXβS↓$hε∪AEλ¬∃@e@α⊗ EP↓R@⊂x↓R@⊂x↓R@⊂x↓R@ p↓∩@ h↓∩@@X↓∩@ ⊂↓↓`$PA!∧("∃β!`
ε@⊃@%@`p β@i0⊂∧↓↓⊂%@!⊂ ∧@)0λ∧A↓⊂λ%! ¬) λ¬↓↓ λ%! ¬) λ¬↓↓ λ*A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *↓Iq"Q
QX∞FC ε↓A∀pαβ 4pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀x↓C ∀xαβ∃↓B`∃λ↓B ∃_↓A %(β⊃(E0∞GC!Pαa @&A!p '↓α⊂'↓αλ'↓!`⊂'A↓`λ'A!Pλ(↓↓@λ(↓↓@λ(A↓ λ(A↓ λ(A!⊂)↓↓λ)↓↓λ)A`λ)A`λ*↓@λ*↓@λ*↓ 0λ*A λ*A λ+↓*`(+↓*p_+@kλ"Q
r@∀FC ¬A↓00∧∪ PPαB`Dhαα`P`↓∪@@Xαβ∀pαα`@`S@@XαB`∀xαα@PPS`@PαB@∀xαα ⊂⊂αα ∃αα⊂⊂αα∃αα⊂⊂αα∃αA@⊂ α↓@%λα↓@⊂ α↓@∃λα↓@⊂ α↓@∃λαA⊂0α↓%⊂α↓⊂0α↓∃⊂α↓⊂0α↓∃_α@⊂@α@∃_α@⊂@α@∃_α@⊂@α@∃ αB@U αB@U αB@U(↓C5(↓C5(↓β@%0C@∀("⊗βQp
ε@⊂Xβα)`0¬↓ p ¬@J ¬*(∧J⊂(β@* β* (αJ0(↓@*@ ↓*@0*A*` +A
`0+ ⊂ *@ 0 * @()@@P()@ p )!((@! ((@!0 (!@('@AP(&A!@0%α!⊂X"Q⊃h∂εC ¬BA∧hαC`Dpα∧∀pαC`∀xαC ∃αβ∃αB`∃λαB ∃⊂αα%_α↓`∃_αA ∃ α↓ ∃(α`∃(α@ %0β∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E_ε⊃(EP
Ec!PE 0(¬↓ 0_ε↓ 0⊂ε↓ 0⊂¬A 0λε↓ 0λ¬A 0λ¬↓)0λ¬↓
P *↓*@ )A
()↓
⊂ (↓* ¬)p ¬@)`(¬@)` ¬@IP εIP ε)@ εI0 εi0 ¬↓)! "Q⊃⊂
∧α_βR`0(↓R`@(↓R`@0↓S 8↓U 5_αS`Pλ↓S @ ↓S00↓R`@0↓R@@8↓@`∀Pα↓`0_R@@8↓@`∀X↓A@@_R`@ @@0λS ` ↓Q(F⊂
EC1X↓IP_&@iP_&@iP_&@iP_&@iP_&@iP_↓AIP_@@P_&A↓_&@a _&@a &@a0_&@a0 &@a0 &@a0 &@a0 &@a0 &@a0_&@a &@a _&A↓_&@@ ⊂α@iPλαA(T 1Dα⊃λ↓@tp↓A 4h↓A D`↓A@DXα↓`$X↓R@DPα∩@DPα∩@DX↓R`D`↓B@∀h↓B∀p↓A@∃βQ(F
EC1Xε↓K⊂_,@k⊂_,@k⊂_,@k⊂_,@k⊂_,@j⊂(↓@i`_α@@⊂_&@a &a _%A↓ _%@a0_%↓↓0_%↓↓0_%↓↓0_%↓↓0_%↓↓0_%@a0_%A↓ _&a _&@a '`P⊂@j0↓AHT 2Dα⊃λ↓@dp↓A$h↓↓`$`↓A`4X↓B 4X↓B 4Pαα 4Pλ∩@DPα∩@DX↓R`4`↓B@∀h↓B∀p↓A@∃βQ(F0πCc1X∧↓*⊂⊂↓@Ip_↓A p⊂α↓ `_α@I`_'i`_'i`_'i X'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i0P"Qq⊂ F"(β`4h↓A@⊂↓∪00↓@@∀`↓A@4Xα↓@DXα↓@DXα↓@D`↓A@4`↓A@4h↓A4`↓ d`S$`↓∪↓4hεS!d`↓α@4X↓β4P↓β@$P↓β@$P↓β@$X↓β$`↓α@$h↓A@4x∧⊃(F@
EC1X↓IP_&@iP_&@iP_&@iP_&@iP_&@iP_↓AIP_↓ P_&@`⊂λβ@IP ∧iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@i H↓B(T 4B!!X
@`$`α∪Dh↓⊃`pβ∪ 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4P∧Q(FP¬B$1X∧J⊂ (A
⊂#A`P0)j _)j _)j _)j _)j _)j _)j _)j _)j _)i0⊂α@i αI ↓@i0⊂αI@("Q
1_
εc0β∪ 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 00βS 08α∪ 08↓∪ 00S 0(S 0 S 0_S 0λα∪ @λα∪ 0_↓S 0 ↓S 0 α∪ 0(↓S 00↓S 00α∪ 00αRA⊂⊂∧⊃(F`∧BC1X↓IP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@i H"Q
Rλ⊃∧αβ``0β∪ 0⊂A 0_A 4h↓@ ⊂8↓@⊂8↓∪ @@αα4h↓B 0H↓S 0H↓B 4h↓B 0H↓S 0H↓B 4h↓B 0H↓S 0H↓B 4h↓B 0H↓S 0H↓B 4h↓B 0H↓S 0H↓B 4h↓B 0H↓S 0H↓B 4P∧@a⊂_∧Q(Fp
EB↓↓@00&@` λα@iP_@ p⊂&A↓_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_%α 0H"Q
q⊂ Dα0β∪@0 ↓S @↓∪0@↓R`0P↓R`0P↓R@@Pα∩@@Pα∩@@Pα∩@@Pα∩@@Pα∩`0P↓R`0P↓S0@↓S @↓∪@0 ↓Td("≤αQ0∧0↓AIP_@@P_&A↓_&@a _&@a &@a0_&@a0 &@a0 &@a0 &@a0 &@a0 &@a0_&@a &@a _&A↓_&@`⊂⊂α↓ P_↓A)P_&@iP_&@iP_&@iP_%α(T 8EαQ@λ↓@P(S@0 ↓@$h↓A`⊂λ↓∪0@α∩`@H↓R`0P↓R@@P↓R@@P↓R@@P↓R@@P↓R@@P↓R`0P↓R`@H↓S0@α∪ 08α∪@0 ↓ 5α@`5@↓V5@↓V5@↓V5@↓U!∀("≤A`xλ∧0↓↓ P_@ 0_&A0 &A0 &@`P⊂&@iP_&@iP_&@iP_&@iP_&@iP_&@i P"Q∞0pπDα_β@@∀`↓↓@4XB $P↓α@∀P↓α@∀P↓R`tX¬∪!∃λβ∃DPB`$PB`$P↓α@$P↓B ∀P↓ ⊂0↓∩@⊂_β⊃(G εβ#↓@α@)pλ'@)pλ'I`⊂&@i@ %αiP_&@iP_&@iP_&@iP_&@iP_&@`Pλ&@`Pλ&@`Pλ&@`Pλ'@Pλ'`0λ(↓λT :E"aλ`0β∪ 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0@α∪@ @α∪` (↓ 5β`d("≥B1 λ∧@αAI@ ∧iP_∧@)P_∧@)`_β@)`_β@)p_α@)p_α@)p α*_↓@*_↓@*⊂_@*⊂_@*⊂()j _)@(T ;GβQλ↓⊂∧↓d`α↓`08↓S 08↓B∀h↓A`0@S @0α↓@$p↓A@@0S@0(@@ 0S`0 @@0 S`0_↓@0 S`0_A T0⊂A0⊂T0λA@ ⊂TP0αT @0α∀ 0@↓T@ @↓∀@⊂PQ(G@ Eα↓α@8&A`_&A`⊂'``λ'@`@λ(` λ(A
⊂ )j (@ _( 0_'@@@_'@`_'!_&↓p %↓`@@"Q∂⊃_
εα∧↓ d`αα4h↓B ∀h↓B ∀p↓A`∀p↓A`∀x↓A ∀x↓A ∀xα↓∃↓@`∃↓@`∃λ↓@ ∃λ↓@ ∃⊂α∀@5⊂↓T`∃_T@∃⊂R@@ R@@_R@@⊂↓∩` ⊂↓∪D("≡Aqλ∧⊂p%@`p_%@@p %@!_%@ p_%@ `_%@ P (@j_'@i` β)`_β@)P_∧)@_∧)0 ∧)0_β@i p"Q↓(FC
∪@@@α∪@@P↓∪@@XS@@XS@@X↓∪@@`S@@`S@@`S@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@DPεQ(@λ∂λβ!PπK⊂+A
p +↓JP⊂A*Pλ↓A
@λα↓*@λαA
0λβ↓*0λβA
λ∧↓* λ∧A
⊂λ¬↓*⊂λ¬A
λε↓)p⊂εA)pλπA `⊂πA)`λλA Pλ ↓)Pλ A @λ
↓)@λ
A 1`%G !p"Q!`∂εC P∧∀@00↓T0P↓S`0`↓S@0p↓S 1↓SAα∩`A⊂α∩`A⊂α∩`1 ↓R@A α∩@@_C⊂_α∩@@_π`DPαa`_α∩@@_π`DPα`⊂`@`DPα¬DX↓E4Xα∧@DXα∧@D`↓D@4h↓D4p↓C@4x↓C5↓B@5⊂↓A@5 ∧⊃(@_
εc!PεJ`⊂+JP *A
P * ⊂ * ⊂ )@@⊂()@ 0 )@ 0 ) @() P ) P (@ `((@ p (@ p (!((!⊂ (!⊂ '@! ('@!0 '@!0 '!P '!P &@a00%αpX"QA8FC RBtPR@⊃(R@⊃(R@⊃(Q`0 C ∀pC ∀pπSAtpπS@⊂hS@⊂hQ`@E ∀PE ∀PE ∀PE ∀PRBtPQ(@(
G#!Pεi` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A `↓CλT βεCAP
β∀Xαβ`TXαD4`αD$hαD∀pα∧$pαD∀xαC`∃αβ`∃αT U⊂α∀@U_αU5(U∃_C`∃⊂D∃λD ∃D $xD@$pD@$hD@4`D TX∩C∀("↓cAp
ε@0(ε↓)@@∧α 0PβαI ⊂β↓@ βI λ∧`@_∧) λ∧@` _∧@*@_↓jP0*AJ` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` (CHT ∧εCAP
↓Ae(α∃ E(α∃ E_∧∀0⊂α@4p↓A@ ↓S@(α↓ D`↓A@@0↓R`08α↓`4Pα↓`@8α∩@@8α↓`DPα↓`@8α∩@@8α↓`DPα↓`@8α∩`08α↓`4`↓A@@0↓S@(α↓ Dp↓A@ ↓T0⊂α@5_∧∃ E(α∃ E(α∀↓d("α#Ap
ε@pp+↓
` +↓
` %↓ p βA)@ β↓` &↓` β↓ P αAP &AP αA P αAP &AP αA P αAP &AP αA P αAP '↓@ α↓ ` α↓@ '@`@ αj_↓A0_(@` ↓j _A⊂_*α
` +↓
` +↓
⊂p"Q↓!P∞εC H∧∀@0α∪@0`↓S 0p↓S1↓R`Aα∩`1⊂↓R@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩`1⊂↓R`Aα∪1↓S@pα∪ 0p↓S@ p↓∪` `↓∪` `↓∩@⊂(↓α@ (R@⊂0B@⊂0R@⊂0B@⊂0R`⊂(↓α (Ra@∧∩a@∧∩a@∧⊃(Cλ∧C⊃HαAI`⊂αIP⊂βI@_βi0_∧i0_∧i0_∧i ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ 0_∧i0_∧i0_∧i@_βiP⊂βI`⊂αIp0"Qε⊂pλF#⊂8↓∀4`βR@ ↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T4XεQ(C⊂λ∧C⊃HαAIP⊂α@i@λ∧i0λ∧A ∧i (βA (βA (βA @λ∧A
` *A
P *↓
@_)@j _)J⊂⊂(Ip⊂∧)`⊂∧@)P⊂¬)Pλ¬)@h%CI x"Qε1 ε#⊂(β∪ (↓S⊂@↓R`@0α∩`@0α∩`@0α∪00α∃ 5 α∃5_↓S`e ↓U 5(α∃@50α∃@DX↓BDPαA`DPαA`DPαA`4Pα↓`DXB 4`↓↓@4pβQ(C ∧c⊃H¬@JP⊂*j0 )A
λ@j⊂λ↓j⊂λ↓jλ↓@ipλαipλαi`λα@iPλβi@⊂βi@λβ@i0λ∧i ⊂∧i!⊂*j@_*j@_*j@_*jX"QεQ ε#⊂⊂↓α$`¬S↓$`∧∪∀`S∀`S∀`S⊂⊂β∪0(↓S⊂@↓U@50↓U@E0α∩` Hα∩@@@α∩@@@α∩@@@α∩@⊂X↓R`⊂H↓S⊂@↓∪ ↓S`T("
B↓⊂F! (@@⊂'``λ&@``_&@@` &`` %Ap⊂%@i0_%↓ ↓↓) @ @_%↓ `_%↓ p_%↓↓_%↓↓ %↓↓ %↓↓ %@a %@a %@a &A_&`p_&@@`_'@@_(↓(T ≠D"1P
∀Xλ∩atXπR`⊂`R@⊂`R@⊂XR@⊂XU ∃ U∃_T@%⊂↓∀ 5λ↓∀ %↓T5↓S`Dxα∪`Dxα∪`Dxα∀$("∞α↓⊂F P0' P_&@!⊂&! λ%@A ⊂%@A ⊂%@A ⊂%@a⊂⊂%A `⊂&↓@0⊂&A@⊂⊂'↓ip@'@⊂8&@@8& p(%@A⊂ %A0_%A@⊂%A@⊂%A@⊂%A@λ%@A ⊂&A⊂λ&@@`⊂'AHT ≤Dα!HA dp↓↓$`↓A@$`↓↓`4X↓B$Pαα4Pαα4PααDPααDPααDPααDX↓BDX↓A`T`↓A@Th↓A⊂λα∪`P⊂α∃@E0↓U@4`↓α4Xα↓@4Xα↓@4X↓A@4`A`$`↓↓4pαQ(B λ∧Cqh∧* λ'AIP⊂↓@ ⊂&@@λα)0⊂α@ Pλ%@ `λβ) ⊂β @_%@`λ↓A ⊂β 0 %`PλαI _α@)0 ↓@)0@&αIPP'B* 8) ) @_) @_%↓@λα@I α P⊂%↓@λα@I λβ@ P⊂%@ `λα@)0λβ @λ& Pλ↓@IP⊂↓@ λ'AJ λ)(T ∪πβaX
B 5λ↓`∃↓↓ ∃↓↓ ∀x↓A ∀x↓A ∀x↓A ∀x↓A∀x↓@`∀x↓@`∀x↓@@∃αα!∃↓CE↓C %αβ∀x@ 0XS@⊂_↓B@∀h↓`0HS (↓B∀X↓A @0R@@0α↓∀Pα↓`0_R@@@↓@@∀Pαα @PR`@H↓B@∀Xαα⊂λ↓B∀`α↓ _α↓$pβBd("∂aqλ
F`@8&@`_%@!⊂_%a %↓p %↓p %@A *@j@_)@j _)J⊂⊂(@*⊂λ(@*⊂λ(@*⊂λ#A `⊂'A p (HT ∨βb⊃X A@$xα∪`E↓⊃`P8T ∃T∃T∀x↓∪`∀p↓∪ $Xα∩`4Pαα$Pα↓`DPα↓`DPαα4X↓B ∀`↓A@$pβQ(A∧BB↓↓IP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_%α(T λBa⊃@λ↓ e⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓R` (↓R@@ ↓∩@@_↓R` ↓∪T("ε"!_
F`p0'@`0_'`P '@p_&@`p &@`p &@`p &@`p &@`p_&@``_&@`P_%↓@ &@`@_&@``_&@`p_&@`p_&@`p &@a_&@a &@a &@a &@a &@a &@a &@` _↓@iP_↓` _&@` _↓I 0↓A(T
εcQλa0β∩`00↓@` ↓∩`@0↓@ 0↓∩`@8α↓`4`↓α@@↓U@0H↓U@0H↓T"Dpα@`4`α↓@4Xα↓`4Pαα4PααDPαα@PR@@8↓@ @R`@(↓↓ 0S p@β⊃(AX∂πb↓β↓A0'`P⊂α@@@⊂&@`p⊂↓@@`⊂&a⊂⊂@@p_%@a (∧i0_¬@a⊂_%↓↓0_∧@i ¬Ci ¬@i ¬@i ¬@i0_¬@i0 ∧A)@_∧@@⊂⊂¬)P_β@@0⊂∧)`_α@@P⊂β*0∧AHT ∞∧B1@
∧∃HV%@T`λS@0 ↓S 8↓S 8↓ $X↓A`⊂⊂↓R` 8A$P↓A`⊂ ↓R@00A 4P↓A (↓R@0(A@4P↓A⊂8↓R` A`$X↓@@⊂8↓S λ↓↓`$h↓A`$p↓↓@$p@ dhS$`R`∀("π$2
εA!8+@ ⊂(∧A
pλ↓↓↓0⊂+ 0 ε*`λ↓A↓@λ+ 0 εJPλα↓↓Pλ*@ @ ε@*@λαA↓Pλ* P β@*@λαApλ)@ ` β@*0λβ↓pλ)@` βJ! ) p βJ⊂λ∧↓pλ(@! β@ `λ(@! β@ `λ(!⊂ β@ Pλ(!⊂ ε@)p⊂∧A↓Pλ'@! εIpλ¬↓↓@⊂'A ¬@IP ∧A↓⊂ %α A "Qβb0∀FC P
∀@00αB@E↓B @`↓∪`0Pαβ ∀p↓B`@hS 0`αβ $`αβ@pR`@hαα ⊂ R`@hαα ⊂ R`0x↓B ∀Pαβ`0@↓∩@@x↓A`4PαβaTPαβ`08↓R@@x↓B$Pαβ`0HR@@x↓B ∀Xαβ@0HA ∀Xαβ @xR`@hαβ@∀`αβ@pS 0`αβ@∀hαα`@h↓∪@@Pαβ %↓B @`↓∀ @0αB@E
⊃(Ax∞πCa`,⊂⊂*αPλ)``_↓*_¬ip⊂ε@i`_εA P_ε@ _&aP⊂↓@i0 ε@ @ %A↓@λαA 0_ε p_%↓↓@λβA ¬@! %↓↓ λ∧A ∧@A⊂ %↓↓⊂λ¬↓ ∧!0 %↓pλε↓ 0_β@!@_%APλε↓ 0 α!P &`0⊂ε@iP_↓!P_'@⊂λπIp_ε@J_¬ipλ↓``_' P@&@IPλ"Q∧⊂ ∧εc0λ↓∩@DPα∩@DPα∩@DPα∩@DX↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓⊃`Pλ↓∩@DPα∩`$("∂@@
D`⊂⊂%↓ %@Hp(@I0⊂%@I0⊂%@I0⊂%@I0⊂%@I0⊂%@I %↓ %↓ %↓ %@HT ⊃GDα_
C@ 8↓⊗ 8↓⊗ 8↓∃`00↓U` 8↓∃` 8↓∃` 8↓∃@00↓U@ 8↓∃@ 8↓∃@ 8↓∃ 00↓RcDP∂∃ 8↓∃ 8↓∃ 8↓∀`00↓T` 8↓∀` 8↓∀` 8↓∀` 8↓∩CdX∞∀ 00↓T 8↓∀ 8↓∀ 8↓∀00↓T 8↓∀ 8↓∀ 8↓∪`00↓S` 8↓∪` 8↓∪` 8↓⊃(B(∂λβqhα↓α⊂&@@0λπi@⊂α@!@_%@@`_∧A 0⊂β Ai _β@ PλαI _β@!⊂_%`pλ∧i _β@!⊂%`pλβ@i _β@ `_%@@`λβ@I0⊂β `_&@Pλα@iP⊂↓@ `⊂'↓`_+@`p +@@p⊂↓@*`_β@Pλ*@``⊂β*P⊂β@@`λ*``_β@*0_β@`pλ)@A_β@* _∧`pλ(@a⊂_β@*⊂⊂¬`pλ(a0⊂β)p_ε@`λ'@A`⊂α@)`_π@@0λ'B⊂ "Q∧p(∧Bc0λ↓∩@DPαR` λS@∀pS@∀hS ∀`R`∀PQ(B@¬β$qh∧@* λ(@*λ'@I`⊂')P⊂&I@⊂&I0_%@I0⊂%@I _%i _%i _%i _%i _%i0⊂%@I0⊂%@i@⊂&I@⊂&@I`λ'Ip⊂(*⊂λ)*0λ"Q¬⊂Pε cPR`∀`S ∀h↓∪@$xS`%↓∀%↓∀5λ↓∀ %λ↓∀ 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T %λ↓∀ %↓T%↓∀$x↓∪`∀p↓∪ $hS∀XR@∀("
B↓⊂λπ p⊂(@J⊂⊂(@I _α@@_%@`0⊂↓@iP_@@⊂_'AJ⊂⊂'AIP_@@⊂_%@`0⊂↓@i _α@@_(@J⊂⊂(@J⊂⊂"Q¬1`∂εbph↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∩CDP∞∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`$("@@¬@`⊂⊂%↓ %@iPλ&@)Pλ&@)@λ&)0λ%(T ↔↓↓_↓@ $Pα∩@DX↓⊃(Bxλ∧DqhπK⊂+@jp⊂+@J`_+JP_*@JP⊂*j@⊂*J0_)@J _)J ⊂(@j⊂⊂(@J_(J⊂'@ip⊂'i`⊂'IP_&@IP⊂&i@⊂%@i0⊂%@I _%I ⊂"Qπ ∧∧αλ↓∩@DPα∩`$8∧@ $Pα∩@DX↓⊃(CXααβ↓@I %↓ 0⊂#B ⊂⊂%↓ %@iPλ&@)Pλ&@)@λ&)0λ%(T ≡Gβ`Xπ@#$P∞⊃a∞∩c$("⊂βAp
Fa @)A⊂(A@⊂'@"λ'" λ&@ p(∧)@λβ@@@⊂β@)@λβ@pλβ)0λβA α)0λα@a⊂_α) λβA _α@) λα@a _α@) λα@a _α@) λα@a _α@) λα@a _α@) λα@a _α@) λα@a _α@) λβA _α@)0λα@a⊂_α@)0λβA α)@λβ@p α)@λβ@@@⊂↓@0λ&@ p(αA `λ'@*⊂λ↓
⊂¬↓J@X"Q08¬IcPβR@tP↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$PβR@t("↔ p8∪G 8%↓ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@I 8%↓hT 0↓!X
A∀hS∀XR`∀PR@∀PR@⊂λ↓∩@TXα∪$("∧@p`βF`_%i %@i@_'Ipλ"Qα08πAc0 ↓S@4hα∪ 4`↓R`$XQ(A ¬β`A@@`⊂%@` _&↓I`⊂"QαP`λ↓c0B@∀PB@∀PB@∀XB∀X↓↓@$`↓↓$`∧∪@D("¬Aaλ¬@p"QαpH
↓C0⊂αR`⊂(R@⊂8R@⊂8R@⊂8R`⊂(ST(!@?␈␈x␈@α@π␈␈␈x|?␈␈x␈A4pα∀Eλ↓T 5λ↓Ra∧PQ(B∧B@0pβi`_%@i λ"Q`PπAβ ↓∪ D`↓@$X↓↓$PB∀("↔`P@↓F`⊂_%@i0_%@hT >Bb0
@ 0 ↓R`0 ↓R`0 ↓R` (↓∩` (↓∩`⊂0R@ (↓⊃(Gpε∧1P↓@`Pλ&↓ 0λ%@ 0(% P_"Q∂p`λc0λ↓A4X↓A4X↓A4X↓A4("αc1X
Fa⊂0αA*⊂_α@@⊂⊂αJ⊂β↓ @ '@``(α↓ `_βA`⊂'a_'a_'a_'a_'a_'a_%¬i`_∧i`_∧i`_∧i`_∧i`_∧i`_∧i`_∧i`_∧i`_∧i`_∧i`_∧i`_∧i`_∧i`_∧i`_∧i0@αα(T ε¬BaX
B@eλ↓A@%↓A`$x↓A`Dp↓BDp↓B $p↓S@4p↓S@4p↓RB4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4X∧@a∀("β"a0
Fa H(@``_(`` '@`p 'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_%∧i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i0H↓B(T πλ$⊃X
B@`(β∀ 00@@0(↓∀08α↓`$x↓A`P0α∪@0@α↓`Dp↓B 0@↓∪@0H↓S@0H↓S@0H↓S@0H↓S@0H↓RCdp↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓Ra⊂_∧@A∀("βd∩λ
Fa 0αB*⊂_β@⊂_α@j_β↓ ` '@`p(β↓ `_∧↓↓_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_%πI`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_%B 0H↓α(T ⊃β!`X
@ 0↓∩@@ α∩@P_αR` λA λS@⊂8S@⊂8S@⊂8S ⊂8S ⊂8S⊂8R`⊂8R@⊂8Q(Bh¬B`⊂Hαi X"Q@h Bc0 A`∀hA`∀`A`∀XA`∀XA`∀PA`∀PA`∀PA`∀P@ @ $Pα@`TXα↓D`↓↓@$("≡bA α@↓ "Q∂BH∀@↓ ∀Q=pp4YVp:~,fH2\D∧_&T]q(1[lFH7→n6_4→-V(⊂∃U@⊂≥W@:;aF07[NF00XlV⊂<]←_;@|αP␈⊂∨∂5Hβ@OX≠@OX≠␈␈␈x␈∀␈␈␈x{∞⎇@↓PαS↑@α8({$0π
W∧z/0↓λ h≤<
>`_∞@↓<P↓ Y=@A`αjVαQH{↓$ε.y¬,/0βπ``#J
t}`8⊂@↓S@x↓0_=A↓xβλr@αh8{α$⊂εN≡¬`∂0¬π``#J←>`X@↓≡PZα8b=AA@α.≥¬∧_{β#∧\:
∃O0πλ`p∃.∀G}`x⊃@↓bP\αH`=B`↓↔∞@βQ0{∧!PαL9@π'␈0 ¬ @@α∪#≡a_
@↓λ∧α0P⎇BA(α⊂@∧k0{¬"P∧ ↓ Y∨0¬ @@α∪;≡a8⊂↓KXdα0z⎇C↓_↓qd∧q {ε"P∧ ↓π0∂0
π``#J∞}}aX⊂@↓S@x↓p-=CA(α⊂@βl_{π$`πUZπfO0∂
`↓λ≥_∂v>ax⊂@↓S@xα?=D`↓↔∞@∧sp{λ!@α.≥λ$∨0⊃¬ @@α∃~}b_⊃@↓bP\αλG⎇DA(α⊂@β6p{ $0π
WλCo0∪λ h≤<
␈}b8εK@tα⊂p⎇E↓↓SG@∧0⊂{
"β'∂λk∨0∃¬ @@α⊃l≡bX⊂@↓S@xα_x⎇E@`↓↔∞@∧C{!`αjV
To0↔β \:∩∪}bx
@↓λ∧α /=F↓(α⊂@α␈p{"P∧ ↓ε
∨0→¬ @@α)↑c_
@↓λ∧↓@|⎇FA(α⊂@β∀p{
"P∧ ↓ε4∨0≠¬ @@α⎇≡c8
@↓λ∧↓P-⎇G↓(α⊂@β*{∞"P∧ ↓ε`␈0≥β \:∩->cXεK@tα g=G@`↓↔∞@∧∃@{∂$⊂εN≡ ≡␈0∨¬@βI∞4}cx
↓8∩↓`H=Hαλβ'∂∧P@{⊂$ε.y∧?0!π@`∧%"≡d_∂@↓D8∀y⎇HBβ∨%`∃P{⊃#P¬cv9∨0#πX3↓∂≡d8⊂@↓U0⊂N⎇Iαβ↔<@0p{∩!pβπjo␈0%¬@@]⊗↓o≡dX⊂@↓S V α⎇IAPαS↑@G`{∪$pπd$↓→?0'λ`]rαe↑dx⊂@↓S@x0∃⎇J↓hαq{iP{∀$⊂εN≡↓]␈0)π``@↑βa↑e_↓↔λh8⎇⎇JAxβλr@↓¬`{∃$ε.yα↔∨0+λ`]r∧J↑e8∃@α↔ XHH⎇Kαβ↔<@↓$ {⊗$ε.yαU←0-ε@P1f¬A↑eXεK@tα(↑⎇KA(α⊂@¬+λ{↔!@α.≥ BO0/¬ @@α∪S>exεK@tα82=L`↓↔∞@∧fX{_"P∧ ↓αl←01εH8t¬m↑f_ @xp `
⎇LA@α.≥↓E⊂{→"0βcHβ⊗␈03β (_sε<↑f8
@↓λ∧h≤⎇M↓@α.≥↓Yp{~!@α.≥β@?05β (_sπ
↑fX↓∂@vp@⎇M@`↓↔∞@↓n⊂{≠$@π
Wβd∨07εH8tπe↑fx
@↓λ∧xr⎇N↓@α.≥αα`{≤"`∧>≥@∧⊃?09∧ 0P↓@λ;≡g_λ@k S↓λ⊂⎇NA↓SG@α⊗⊂{≥#∧\:∧4␈0;¬@@|;λ⎇≡g8∂@↓D8∀↓⊂≠⎇O↓0α∨∞`α*0{≡"`∧>≥@∧]∨0=∧`8G⊂ Q≡gX
@↓λ∧αPv=OBP∧ ↓¬/({∨"P∧ ↓ n?0?¬ @@α∪e↑gx
@↓λ∧α8V} ∃N⊂=xow{⎇x